Companion

object Companion

Contains static declarations for the NotEmptySet type.